1581. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings
پدیدآورنده : B. Banieqbal, H. Barringer, A. Pnueli )eds.(
کتابخانه: (طهران)
موضوع : ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
398
1582. Temporal logic in specification: Altrincham, UK, April 8-10, 1987: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
T42
1989
1583. The Design of automatic control systems
پدیدآورنده : Rubin, Olis.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Automatic control,، System design
رده :
TJ
213
.
R77
1986
1584. <The> Formal Description Technique Lotos: Results of the ESPRIT/ SEDOS Project
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Electronic data processing- Distributed processind,ESPRIT/ SEDOS Project,System design
رده :
QA
،
76
.
9
،.
D5
,
F65
،
1989
1585. The Formal description technique Estelle: : results of the ESPRIT/SEDOS Project
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Electronic data processing- Distributed processing,، ESPRIT/SEDOS Project,، System design
1586. <The> Fuzzy Systems Handbook
پدیدآورنده : \ Earl Cox.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : System design,Adaptive control systems,طراحی سیستم,سیستمهای کنترل تطبیقی,a03,a04,a03,a04
رده :
E-Book
,
1587. The Fuzzy Systems Handbook
پدیدآورنده : Earl Cox
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : SYSTEM DESIGN,ADAPTIVE CONTROL SYSTEMS,FUZZY SYSTEMS
رده :
QA
،
76
.
9
،.
S88
,
C72
،
1999
1588. <The> Fuzzy systems handbook:A Practitoner's guide to buliding,Using,and Maintaining Fuzzy Systems
پدیدآورنده : Earl Cox
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (طهران)
موضوع : System Design
1589. The Fuzzy systems handbook: a practitioner's guide to buildings, using, and maintaining fuzzy systems
پدیدآورنده : / Earl Cox
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : System design,Adaptive control system,Fuzzy systems
رده :
QA76
.
9
.
S88C72
1994
1590. <The> Human Factor:Designing computer Systems For people
پدیدآورنده : Richard Rubinstein,Harry M.Hersh
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (طهران)
موضوع : System Design
1591. The MUSE method for usability engineering /
پدیدآورنده : Kee Yong Lim, John Long.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Human factors.,System design.,Computer software-- Human factors.,System design.
رده :
QA76
.
76
.
H85
1592. The NIAM information analysis method: theory and practice
پدیدآورنده : / J.J.V.R. Wintraecken
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : System design,System analysis
رده :
QA76
.
9
.
S88W56
1990
1593. The Oxford handbook of affective computing /
پدیدآورنده : edited by Rafael A. Calvo, Sidney D'Mello, Jonathan Gratch, Arvid Kappas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction.,User-centered system design.,Affective Computing,Användargränssnitt.,Human-computer interaction.,Människa-dator-interaktion.,Mensch-Maschine-Kommunikation,User-centered system design.
رده :
QA76
.
9
.
H85
O93
2015
1594. The Practical quide to stractured systems design
پدیدآورنده : Meilir page-Jones
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (طهران)
موضوع : System design
رده :
QA
76
.
9
.
S88P33
1988
1595. The Proceedings of the 15th CSI International Symposium on Computer Architecture and Digital Systems )CADS 2010(, September 23-24, 2010, Tehran, Iran
پدیدآورنده : edited by N. Bagherzadeh and H. Sarbazi-Azad; sponsored by and in cooperation with IPM... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer architecture,Congresses ، Computer network architectures
رده :
QA
76
.
9
.
S88C75
2010
1596. <The> Prototyping Methodology
پدیدآورنده : Kenneth E. Lantz
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (طهران)
موضوع : System Design
1597. The SPARC architecture manual
پدیدآورنده : / SPARC International, Inc
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer architecture--Handbooks, manuals, etc,System design--Handbooks, manuals, etc
1598. The SPARC technical papers
پدیدآورنده : Ben J. Catanzaro, editor
کتابخانه: (طهران)
موضوع : ، Computer architecture,، System design
رده :
QA
76
.
9
.
A73S63
1991
1599. <The> Structured Systems Development Manual
پدیدآورنده : David Bellin, Susan Suchman
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : System design,Electronic data processing- Structure techniques
رده :
QA
،
76
.
9
،.
S88
,
B45
،
1990
1600. The UX five-second rules
پدیدآورنده : Paul Doncaster
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction,User interfaces (Computer systems)-- Testing,User-centered system design-- Testing,Web sites-- Design,Web-based user interfaces-- Testing
رده :
QA76
.
9
.
H85
D66
2014